
Les langages Agda et Gallina (de l`assistant de preuve Coq) sont des exemples de langages à type dépendant. - Les types dépendants permettent par exemple de définir le type des listes à
n
éléments.
Trouvé sur
https://fr.wikipedia.org/wiki/Type_dépendant
Aucun résultat n’a été trouvé dans l’encyclopédie.